Co-Transformation of Type and Instance Graphs Supporting Merging of Types and Retyping

نویسندگان

  • Florian Mantz
  • Gabriele Taentzer
  • Yngve Lamo
چکیده

Algebraic graph transformation is a well-known rule-based approach to manipulate graphs that can be applied in several contexts. In this paper we use it in the context of model-driven engineering. Graph transformation rules usually specify changes to only one graph per application, however there are use cases such as model co-evolution where not only a single graph should be manipulated but also related ones. The co-transformation of type graphs together with their instance graphs has shown to be a promising approach to formalize model and meta-model co-evolution. In this paper, we extend our earlier work on co-evolution by allowing transformation rules that have less restrictions so that graph manipulations such as merging of types and retyping of graph elements are allowed.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Co-transformation of Graphs and Type Graphs with Application to Model Co-evolution

Meta-modeling has become the key technology to define do– main-specific modeling languages in model-driven engineering. Since do– main-specific modeling languages often change quite frequently, concepts are needed for the coordinated evolution of their meta-models as well as of their models, and possibly other related artifacts. In this paper, we present a new approach to the co-transformation ...

متن کامل

Spatial Transformation of Apartment-Type Housing Buildings (Case S tudy: Gaziantep, Turkey)Turkey

The aims of this s tudy is to analyse the planning and design process, basic principles and thechange-transformation process of the apartment type residential buildings in Turkey, Gaziantep city based on his torical background. The scope of the research consis ts of residential buildings built in the city of Gaziantep, which were built in the pos t-Republican period. In addition, s tate-b...

متن کامل

Types and Co-Types in Timor

A co-type is a type with instance methods and instance data which enhance the functionality of some other type (its "expanded" type). The instance methods of the co-type correspond approximately to constructors, class methods and binary methods of the expanded type in other class-based OO systems, and the instance data replaces class-based data. This unconventional approach was motivated by the...

متن کامل

CERTAIN TYPES OF EDGE m-POLAR FUZZY GRAPHS

In this research paper, we present a novel frame work for handling $m$-polar information by combining the theory of $m-$polar fuzzy  sets with graphs. We introduce certain types of edge regular $m-$polar fuzzy graphs and edge irregular $m-$polar fuzzy graphs. We describe some useful properties of edge regular, strongly edge irregular and strongly edge totally irregular $m-$polar fuzzy graphs. W...

متن کامل

Biolistic co-transformation of rice using gold nanoparticles

ABSTRACT- In order to produce transgenic rice lines lacking selectable marker gene, biolistic co-transformation technique using gold nanoparticles was adopted. In the first step, the efficiency of different sizes of gold particles was evaluated. The results showed that the efficiency of the nanoparticles in the transformation was comparable to that of the micro particles. Subsequently, two sepa...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • ECEASST

دوره 61  شماره 

صفحات  -

تاریخ انتشار 2013